package kodkod.engine.fol2sat.ordering;

import kodkod.engine.satlab.OrderableSolver;

/**
 * Restrict SAT solver to branch on primary variables only
 * @author Markus Iser
 *
 */
public class InputRestrictedBranching extends OrderingMethod {

	@Override
	public void apply(OrderableSolver solver, int primaryVars) {
		for (int var = 0; var < primaryVars; var++) {
			solver.overrideOrder(var, 1);
		}
	}

}
